restricted predicate calculus
狭谓词演算
热门查询
- everlasting adj. 永恒的；接连不断的
- Goering n. 戈林（姓氏）
- fitful adj. 一阵阵的；断断续续的；不规则的；间歇的
- account n. 账户；解释；账目，账单；理由；描述 vt. 认为；把…视为 vi. 解释；导致；报账
- complexion n. 肤色；面色；情况；局面 vt. 使增添色彩
- potentially adv. 可能地，潜在地
- deutsch adj. 德国的 n. (Deutsch)人名；(德、英、捷)多伊奇
- sunder n. (Sunder)人名；(德)松德尔；(印、尼)孙达尔；(英)森德 vt. 切开；切断 vi. 分离；断开
- anguishing n. 痛苦；苦恼 vt. 使极度痛苦 vi. 感到极度的痛苦
- light year n. 光年（指光在一年中走过的距离：9.4607 × 10¹2 公里） [网络] 光年俊驹
- photonics n. 光电；光子学
- tamarin n. 绢毛猴（南美洲产） n. (Tamarin)人名；(俄)塔马林
- capital punishment n. 死刑；极刑 [网络] 处死的刑罚；最大刑罚；绞刑
- wagner n. 瓦格纳（姓氏）；瓦格纳（德国歌剧家，作曲家）
- grandstanding n. 哗众取宠；炫耀 v. 哗众取宠（grandstand的现在分词形式）
- loyal adj. 忠诚的，忠心的；忠贞的 n. 效忠的臣民；忠实信徒 n. (Loyal)人名；(英、德、西、匈、法)洛亚尔
- LOIRE 卢瓦尔河[法国中部](或译罗亚尔河, 发源于塞文山脉,经中央高原,西流注入大西洋的比斯开湾,是法国最长的河流)
- tad n. 少量；小孩子；小男孩 n. (Tad)人名；(英)塔德
- chitty n. 芽，小孩
- Holborn [人名] 霍尔本
考试词汇表
- ARHB GTP-Binding Protein
- ASCUS,probably malignant
- ASX All Ordinaries Index
- AT (ambient temperature)
- AT1 Receptor,Angiotensin
- AT2 Receptor,Angiotensin
- ATA hard disk drive card
- ATCAAAAGCTGGAGG sequence
- ATM inverse multiplexing
- ATP Synthase,Chloroplast
- ATP Synthetase Complexes
- ATPase,Calcium Magnesium
- ATT (abnormal true test)
- Aarnet internet provider
- Abacavir Sulfate Tablets
- Abadie enucleation spoon
- Abbe Estlander operation
- Abbe Zeiss counting cell
- Abbe-Estlander operation
- Abbe-Zeiss counting cell
